Une approche automatisée basée sur des contraintes d'intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : Applications dans le domaine agri-environnemental
نویسنده
چکیده
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Une approche automatisée basée sur des contraintes d’intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : Applications dans le domaine agri-environnemental Kamal Boulil
منابع مشابه
Un cadre conceptuel basé sur UML et Spatial OCL la Défini-tion des contraintes d'intégrité dans les systèmes SOLAP
Résumé. Les entrepôts de données spatiales et les systèmes Spatial OLAP sont des technologies d’aide à la décision permettant l’analyse en ligne des gros jeux de données géo-référencées. Dans un tel type de systèmes, la qualité de l’analyse dépend : de la qualité des données entreposées, de comment les agrégations sont effectuées, et de comment les données entreposées sont explorées. Dans cet a...
متن کاملVers la définition des contraintes d'intégrité d'entrepôts de données spatiales avec OCL
Résumé. Les Entrepôts de Données Spatiales (EDS) et les systèmes SOLAP représentent une solution efficace pour l'analyse spatiale de phénomènes géographiques. Cependant, la qualité de cette analyse dépend fortement de la qualité des données stockées. Dans ce contexte, quelques travaux se sont intéressés à la définition et la spécification des contraintes d'intégrité spécifiques aux EDS. Dans ce...
متن کاملTransformation des contraintes d'intégrité - Des modèles conceptuels vers le relationnel
RÉSUMÉ. Dans un modèle conceptuel, les contraintes d'intégrité représentent une partie intégrante dont la définition est nécessaire pour exprimer aux mieux la sémantique du réel perçu. Toutefois, ces contraintes même si elles sont exprimées au niveau conceptuel, elles sont très souvent ignorées lors du passage vers le niveau logique. En pratique, la majorité des AGL de modélisation ne supporten...
متن کاملCohérences Locales Paramétrées ∗
Les solveurs de contraintes maintiennent uniformément le même niveau de cohérence locale (généralement la cohérence d’arc) indépendamment de l’instance du problème à résoudre. Nous proposons le concept de cohérence locale paramétrée, une approche originale qui permet d’ajuster le niveau de cohérence locale en fonction de l’instance du problème à résoudre et en fonction de la partie du problème ...
متن کاملApproche pour la Génération des Diagrammes UML à partir de l'Univers de Discours et l'Ontologie de Domaine
Résumé. Aujourd’hui, le langage de modélisation unifié (UML) a été largement accepté par l’industrie et s’est établi comme le langage commun pour l’analyse et la conception en génie logiciel orienté objet. Néanmoins, il souffre de manque d'outils et de syntaxe qui lui permettent de raffiner davantage la sémantique de données à partir de l'univers de discours. Ce raffinement est maîtrisé dans la...
متن کامل